<html>
<head><meta charset="utf-8"><title>floundering on int variables · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/floundering.20on.20int.20variables.html">floundering on int variables</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="202819139"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/floundering%20on%20int%20variables/near/202819139" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Florian Diebold <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/floundering.20on.20int.20variables.html#202819139">(Jul 03 2020 at 16:14)</a>:</h4>
<p>so... in the course of typechecking <code>some_slice[0]</code>, we need to solve <code>?0: SliceIndex</code> where <code>?0</code> is an integer variable. Problem is, since in RA (and rustc) all traits are non-enumerable, we flounder. I think we shouldn't do that, when the variable is an int/float variable?</p>
<p>With the recursive solver, I think there's the additional complication that I don't think we can even tell the variable kind from the clauses code, since it's just a BoundVar. Maybe we need to instantiate before calling the clauses code after all <span aria-label="thinking" class="emoji emoji-1f914" role="img" title="thinking">:thinking:</span></p>



<a name="202821384"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/floundering%20on%20int%20variables/near/202821384" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Florian Diebold <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/floundering.20on.20int.20variables.html#202821384">(Jul 03 2020 at 16:41)</a>:</h4>
<p>i.e. <a href="https://github.com/rust-lang/chalk/pull/555">https://github.com/rust-lang/chalk/pull/555</a></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>